Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐ŸŒŠGradual Effects
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท18h
๐ŸชœRecursive Descent
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
โœ…Type Checking
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgยท8hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
3D (printed) visual language system I created called 'Chronoglossa'
reddit.comยท5hยท
Discuss: r/neography
๐ŸŽฏ99-Line Languages
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท4hยท
Discuss: Hacker News
โœจGleam
Flag this post
InternSVG: Towards Unified SVG Tasks with Multimodal Large Language Models
paperium.netยท14hยท
Discuss: DEV
๐ŸŒณParser Visualization
Flag this post
Automate Resume Parsing with n8n, Thordata Universal API & OpenAI GPT-4.1-mini
dev.toยท1dยท
Discuss: DEV
๐Ÿ”คLanguage Tokenizers
Flag this post
What we didn't get in C++
pvs-studio.comยท1dยท
Discuss: r/cpp
๐Ÿท๏ธSymbol Mangling
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Ajla Tutorial
ajla-lang.czยท22hยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
On Developers in C-Level Meetings
radekmie.devยท1hยท
Discuss: r/programming
๐ŸŽฎLanguage Ergonomics
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐Ÿ“‹Tablegen
Flag this post
Why DFS Topological Sort Writes Nodes on Backtracking
dev.toยท4hยท
Discuss: DEV
๐ŸคZipper Structures
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท54m
โš–๏ธInference Rules
Flag this post